<h2>Source Editor</h2>
<p>
	<?php echo $sSourceHighlighted; ?>
</p>
<textarea cols="80" rows="20"><?php echo $sSourceHighlighted ?></textarea>